Compiler construction

Results: 1898



#Item
691Programming language implementation / Models of computation / Compiler construction / Cross-platform software / Procedural programming languages / Kahn process networks / Compiler / Ada / Denotational semantics / Computing / Software engineering / Software

Erbium: A Deterministic, Concurrent Intermediate Representation for Portable and Scalable Performance Cupertino Miranda1 , Philippe Dumont1,2 , Albert Cohen1 , Marc Duranton2 and Antoniu Pop3 1

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2010-01-25 11:25:30
692Compiler optimizations / Compiler construction / Static single assignment form / Procedural programming languages / Induction variable / Goto / GNU Compiler Collection / Fortran / Recurrence relation / Computing / Software engineering / Software

Induction Variable Analysis with Delayed Abstractions Sebastian Pop Albert Cohen

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2006-02-10 18:37:55
693Compiler optimizations / Functional languages / C++ / Programming language implementation / Compiler construction / Inline expansion / Single Compilation Unit / Interprocedural optimization / Compiler / Computer programming / Software engineering / Software

Automatic Cross-Library Optimization ∗ Andrew W. Keep R. Kent Dybvig University of Utah

Add to Reading List

Source URL: www.schemeworkshop.org

Language: English - Date: 2014-01-13 20:04:12
694Compiler optimizations / Control flow / Compiler construction / Static single assignment form / Model theory / GNU Compiler Collection / Representation theory / For loop / Data-flow analysis / Computing / Software engineering / Software

The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop1 , Albert Cohen2 , Pierre Jouvelot1 , and Georges-Andr´e Silber1 1

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2005-11-22 06:53:34
695Logic in computer science / Programming language semantics / Static single assignment form / Programming language implementation / Compilers / GNU Compiler Collection / Compiler / Intermediate language / Programming language / Software / Computing / Compiler construction

Coll`ege doctoral o ´ ED n 431 : Information, communication, mod´elisation et simulation No attribu´e par la biblioth`eque: | | | | | | | | | | |

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2007-02-07 05:39:41
696Parallel computing / Compiler construction / Programming language implementation / Compilers / Procedural programming languages / Compiler / OpenMP / GNU Compiler Collection / Static single assignment form / Computing / Software / Computer programming

Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers Antoniu Pop 1 and Albert Cohen 2 1

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2010-07-28 10:49:00
697Compiler optimizations / Procedural programming languages / Parallel computing / Compiler construction / Array programming languages / Automatic parallelization / OpenMP / Compiler / Fortran / Computing / Software engineering / Computer programming

PyPs, a programmable pass manager Serge Guelton1 , Mehdi Amini2,3 , Ronan Keryell3 , and Béatrice Creusillet3,4 1 2

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2011-08-30 05:19:23
698Recursion / Compiler construction / Static single assignment form / Mathematical logic / Infinite loop / Algorithm / Action / Computer programming / Physics / Computing

Induction Variable Analysis with Delayed Abstractions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2005-10-11 09:31:28
699LR parser / Context-free grammar / Static single assignment form / Computing / Software / Compiler construction / Knowledge representation / Tree

On plan recognition and parsing John Maraist SIFT, LLC∗ Christopher W. Geib

Add to Reading List

Source URL: rpgoldman.goldman-tribe.org

Language: English - Date: 2009-08-06 12:04:58
700Compiler optimizations / Control flow / Procedural programming languages / Compiler construction / Static single assignment form / Loop optimization / Vectorization / Fortran / Loop counter / Software engineering / Computing / Computer programming

Induction Variable Analysis with Delayed Abstractions1 ´ SILBER SEBASTIAN POP, and GEORGES-ANDRE CRI, Mines Paris, France and

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2005-08-24 10:01:32
UPDATE